Truth table

Each row of a truth table corresponds to a distinct interpretation. The columns on the left side assign truth values to the letters (of the truth table's given formula), and the column on the right side shows the truth value for the entire formula, which computably depends on the truth values of its letters.

Each of these identities can be proven by simply creating a fully-enumerated truth table for the expression on the left (of the equality sign, not of the table) and another for the expression on the right. Afterward, the truth table shows that they produce the same result for every possible input combination. For this article's purposes, this approach will be done for each identity. […] Below (Tables 5 and 6) you'll see two truth tables for dominance of 1 under OR and dominance of 0 under AND, respectively.